Elina Suomela-Härmä, Formules d’ouverture, formules de clôture et formules de transition d

Formules CNF et Graphes

Résumé : Nous proposons dans cet article une nouvelle représentation sous forme de graphe d’une formule CNF. Elle étend le graphe d’implication 2-SAT au cas général. Chaque clause est représentée comme un ensemble (conditionnel) d’implications et codée avec plusieurs arcs étiquetés contenant un ensemble de litéraux, appelé contexte. Cette nouvelle représentation permet d’étendre quelques caract...

Extraction de formules chimiques dans des documents manuscrits composites

RÉSUMÉ. Nous abordons dans ces travaux, le problème de la segmentation de documents de cahiers de la chimie en zones homogènes. Les documents à traiter sont manuscrits sans contraintes composés de zones de textes, de tableaux et de graphiques, représentant l’expression graphique de l’expérience réalisée. L’objectif de ce premier travail est d’extraire, dans chaque document, le bloc contenant le...

Troisième Supplément. Application Des Formules Géodésiques De Probabilité a La Méridienne De France

§1. The part of the meridian which extends from Perpignan to Formentera is sup[581] ported on a base measured near Perpignan. Its length is around 466 km, and its last extremity is joined to the base of Perpignan by a chain of twenty-six triangles. We are able to fear that so great a length, which has not been verified at all by the measure of a second base toward its other extremity, is suscep...

Etude de l'utilisation des formules d'Obrechkoff pour la résolution numérique des problèmes différentiels avec conditions initiales

Formules booléennes quantifiées : transformations formelles et calculs parallèles. (Quantified boolean formulae : formal processings and parallel computations)

formula +~abstract_formula() +start_visitor(v:formula_abstract_visitor &) #serialize(ar:Archive &,file_version:unsigned int)